#include "print.h"

int main(){
	put_str("ciallo");
	put_char('\n');
	put_int(0x12345678);
	put_char('\n');
	while(1);
}
